associativity of substitutions

替代结合性